Model Development Guidelines for UML-RT
نویسندگان
چکیده
Software development guidelines are a set of rules which can help improve the quality of software. These rules are defined on the basis of experience gained by the software development community over time. This report discusses a set of design guidelines including design conventions, patterns and anti-patterns for developing real-time embedded software systems. These guidelines have been identified based on our analysis of around 100 UML-RT models from industry and academia.
منابع مشابه
An Rt-uml Model for Building Faster-than-real-time Simulators
Faster-than-real-time simulation (FRTS) is widely used for training, control and decision making purposes. FRTS experimentation proves to be rather demanding, requiring a consistent specification for developing such systems. This paper presents guidelines for an implementation framework, based on an industry standard, the Unified Modeling Language (UML). In particular, using the OMG UML Profile...
متن کاملIncremental Design and Formal Verification with UML/RT in the FUJABA Real-Time Tool Suite
Model checking of complex time extended UML (UML/RT) models is limited today due to two main obstacles: (1) The state explosion problem restricts the size of the UML/RT models which can be addressed and (2) standard model checking approaches cannot be smoothly integrated into the usually incremental and iterative design process. The presented solution for incremental design and verification wit...
متن کاملCapturing an application's temporal properties with UML for Real-Time
The Unified Modeling Language (UML) is commonly used in the development of non-real-time systems and is gaining popularity in the object-oriented real-time community as well. Recently, Rational Software Corporation teamed with ObjecTime, Ltd to develop UML for Real-Time (UML-RT). UML-RT uses the extensibility mechanisms of UML to incorporate concepts from ROOM (Real-time Object-Oriented Modelin...
متن کاملPapyrusRT: Modelling and Code Generation (Invited Presentation)
In this talk we introduce PapyrusRT, an open-source, industrial-strength model-driven development environment for real-time and embedded systems, implementing UML-RT [2,3], a UML-based language. PapyrusRT is implemented on top of Papyrus, an Eclipse modelling tool for UML, SysML, and EMF models. We describe the motivations for this project and in particular for the need of an open-source enviro...
متن کاملA methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
By following a methodological approach, introduced in a previous work, a correct system specification in terms of CSP+T process algebra is systematically obtained from the UML-RT model of a real-time software system. Among other contributions, this article aims at integrating collaboration diagrams into our approach to facilitate the specification of capsules in UML-RT design models. Thus, an i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016